לא מדויק
☰
דף הבית
פוסט אקראי
כל הפוסטים
קטגוריות
סיכומי הרצאות
חפש
תגית: שפות פורמליות
7 פוסטים
2015-05-28
משפט קלייני - הוכחה נוספת
2015-05-14
למת הניפוח לשפות רגולריות - גרסה מלאה
2015-05-07
משפט מייהיל-נרוד - נקודת מבט נוספת, ואלגוריתמי מינימיזציה
2015-04-29
בעיות הכרעה עבור שפות פורמליות
2015-04-15
שפות חסרות הקשר - למת הניפוח, הלמה של אוגדן ושפות רב משמעיות
2015-03-31
שקילות אוטומט מחסנית ודקדוק חסר הקשר
2015-03-22
אוטומט מחסנית
← חזרה לכל התגיות